#include "bsp/bsp.h"
#include "os/types.h"
#include "tmwtypes.h"
#include <stdint.h>

extern float g_motor_angle;
extern u16   g_pwm_duty_out[3];

void wdog_reload(void) {
}

float sim_encoder_get_angle(void) {
	return g_motor_angle;

}
float sim_encoder_get_velocity(void) {
	return 0;
}

void pwm_update_duty(u16 ta, u16 tb, u16 tc) {
	g_pwm_duty_out[0] = ta;
	g_pwm_duty_out[1] = tb;
	g_pwm_duty_out[2] = tc;
}